de Frutos Escrig, David: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Graphical representation of covariant-contravariant modal formulae

Aceto, Luca, Fábregas, Ignacio, Frutos-Escrig, David de, Ingólfsdóttir, Anna, Palomino, Miguel

Journal:

Electronic Proceedings in Theoretical Computer Science

Year:

2011

File:

PDF, 4.32 MB

2011

2

Tagged Systems: A Framework for the Specification of History-dependent Properties

Fernando Rosa-Velardo, Clara Segura, David de Frutos-Escrig

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 421 KB

english, 2005

3

On the Expressiveness of Mobile Synchronizing Petri Nets

Fernando Rosa-Velardo, David de Frutos-Escrig, Olga Marroquín-Alonso

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 375 KB

english, 2007

4

Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems

Fernando Rosa-Velardo, Olga Marroquín-Alonso, David de Frutos-Escrig

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 372 KB

english, 2006

5

Simulations Up-to and Canonical Preorders: (Extended Abstract)

David de Frutos Escrig, Carlos Gregorio Rodríguez

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 336 KB

english, 2007

6

Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations

David de Frutos Escrig, Carlos Gregorio Rodríguez

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 345 KB

english, 2008

7

Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences

David de Frutos Escrig, Carlos Gregorio Rodríguez, Miguel Palomino

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 310 KB

english, 2008

8

On the Unification of Process Semantics: Equational Semantics

David de Frutos Escrig, Carlos Gregorio Rodríguez, Miguel Palomino

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 453 KB

english, 2009

9

Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet

Luca Aceto, David de Frutos Escrig, Carlos Gregorio-Rodríguez, Anna Ingolfsdottir

Journal:

Information Processing Letters

Year:

2011

Language:

english

File:

PDF, 144 KB

english, 2011

10

Ambient Petri Nets

David de Frutos Escrig, Olga Marroquín Alonso

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 37 KB

english, 2003

11

An invitation to friendly testing

David de Frutos-Escrig, Luis Llana-Díaz, Manuel Núñez

Journal:

Journal of Computer Science and Technology

Year:

1998

Language:

english

File:

PDF, 1.05 MB

english, 1998

12

Decidability and complexity of Petri nets with unordered data

Fernando Rosa-Velardo, David de Frutos-Escrig

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 412 KB

english, 2011

13

(Bi)simulations up-to characterise process semantics

David de Frutos Escrig, Carlos Gregorio Rodríguez

Journal:

Information and Computation

Year:

2009

Language:

english

File:

PDF, 464 KB

english, 2009

14

Ready to preorder: an algebraic and general proof

de David Frutos Escrig, Carlos Gregorio Rodríguez, Miguel Palomino

Journal:

The Journal of Logic and Algebraic Programming

Year:

2009

Language:

english

File:

PDF, 233 KB

english, 2009

15

On the specification of modal systems: A comparison of three frameworks

Aceto, Luca, Fábregas, Ignacio, de Frutos-Escrig, David, Ingólfsdóttir, Anna, Palomino, Miguel

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 457 KB

english, 2013

16

Axiomatizing weak simulation semantics over BCCSP

Aceto, Luca, de Frutos Escrig, David, Gregorio-Rodríguez, Carlos, Ingolfsdottir, Anna

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 425 KB

english, 2014

17

[Lecture Notes in Computer Science] Formal Techniques for Networked and Distributed Systems – FORTE 2004 Volume 3235 || Witness and Counterexample Automata for ACTL

de Frutos-Escrig, David, Núñez, Manuel

Year:

2004

Language:

english

File:

PDF, 235 KB

english, 2004

18

[Lecture Notes in Computer Science] Formal Techniques for Networked and Distributed Systems – FORTE 2004 Volume 3235 || Automatized Verification of Ad Hoc Routing Protocols

de Frutos-Escrig, David, Núñez, Manuel

Year:

2004

Language:

english

File:

PDF, 208 KB

english, 2004

19

Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015)

Aceto, Luca, de Frutos Escrig, David

Journal:

Acta Informatica

Year:

2017

Language:

english

File:

PDF, 290 KB

english, 2017

20

Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts

Barozzini, David, de Frutos-Escrig, David, Della Monica, Dario, Montanari, Angelo, Sala, Pietro

Journal:

Theoretical Computer Science

Year:

2020

Language:

english

File:

PDF, 3.45 MB

english, 2020

21

Decidability Problems in Petri Nets with Names and Replication

Rosa-Velardo, Fernando, de Frutos-Escrig, David

Journal:

Fundamenta Informaticae

Year:

2010

File:

PDF, 244 KB

2010

22

[Lecture Notes in Computer Science] Formal Techniques for Networked and Distributed Systems â FORTE 2004 Volume 3235 || Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems

de Frutos-Escrig, David, NÃºÃ±ez, Manuel

Year:

2004

File:

PDF, 262 KB

2004

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски